Higher-Order Computability (Theory and Applications of Computability)
by John Longley,Dag Normann
ISBN 13: 9783662479919
Format: Hardcover (587 pages) Publisher: Springer Published: 23 Nov 2015
Save for later
Recursion on the Countable Functionals: 811 (Lecture Notes in Mathematics)
by Dag Normann
ISBN 13: 9783540100195
Format: Paperback (204 pages) Publisher: Springer Published: 22 Feb 2009
ISBN 13: 9783662517116
Format: Paperback (588 pages) Publisher: Springer Published: 23 Aug 2016